@inproceedings{Chernikov13A,
author = "Andrey Chernikov and Jing Xu",
title = "A Computer-Assisted Proof of Correctness of a Marching Cubes Algorithm",
booktitle = "International Meshing Roundtable",
number = "22nd",
year = "2013",
month = "October",
address = "Orlando, FL",
pages = "505-523"
}